22.45/24.63	unsat
