1.99/3.07	unsat
