27.21/28.84	unsat
