21.26/23.63	unsat
