30.30/30.93	unsat
