21.75/24.99	unsat
