0.95/1.07	unsat
