7.94/8.08	unsat
