21.63/22.59	unsat
