6.56/7.96	unsat
