32.87/32.96	unsat
