0.97/1.07	unsat
