0.80/0.96	unsat
