24.44/28.06	unsat
