28.84/30.81	unsat
