0.78/1.96	unsat
