23.74/23.83	unsat
