30.03/32.64	unsat
