22.26/27.63	unsat
