27.24/27.34	unsat
