30.04/32.45	unsat
