28.88/30.84	unsat
