23.35/26.46	unsat
