20.92/21.05	unsat
