30.76/33.45	unsat
