28.59/28.84	unsat
