22.47/27.51	unsat
