8.47/8.51	unsat
