28.76/30.30	unsat
