22.43/23.80	unsat
