7.95/8.24	unsat
