7.15/7.96	unsat
