30.12/32.45	unsat
