7.87/8.24	unsat
