22.66/24.95	unsat
