23.52/23.84	unsat
