30.70/31.93	unsat
