28.76/30.89	unsat
