21.95/24.19	unsat
