0.80/0.87	unsat
