28.62/28.84	unsat
