4.17/4.96	unsat
