21.75/24.59	unsat
