5.17/6.96	unsat
