21.43/22.48	unsat
