5.17/7.96	unsat
