23.96/24.07	unsat
