30.00/31.91	unsat
