29.76/30.65	unsat
