30.00/31.97	unsat
