0.08/0.96	unsat
