21.83/24.30	unsat
