32.03/32.17	unsat
