1.49/3.07	unsat
