28.84/30.25	unsat
