0.80/0.85	unsat
