0.66/0.86	unsat
