17.47/21.51	unsat
