22.57/27.28	unsat
