27.47/27.84	unsat
