23.82/23.94	unsat
