8.47/8.59	unsat
