32.03/32.14	unsat
