23.94/24.07	unsat
