21.63/21.72	unsat
