23.59/24.51	unsat
