0.80/0.86	unsat
