20.25/22.89	unsat
