23.63/24.65	unsat
