0.83/0.96	unsat
