30.28/31.80	unsat
