23.96/24.08	unsat
