31.49/31.80	unsat
