20.63/22.34	unsat
