23.93/24.06	unsat
