7.94/8.13	unsat
