21.85/24.95	unsat
