30.80/30.91	unsat
