21.47/33.50	unsat
