31.47/31.80	unsat
