29.98/32.45	unsat
