0.09/0.96	unsat
