28.84/30.48	unsat
