0.49/1.07	unsat
