3.00/3.09	unsat
