31.80/32.02	unsat
