1.00/1.07	unsat
