31.53/32.36	unsat
