0.78/0.96	unsat
