21.47/29.84	unsat
