0.80/1.07	unsat
