21.40/33.24	unsat
