22.18/24.95	unsat
